Determine the Topology of Real Algebraic Surfaces
نویسندگان
چکیده
In this talk, an algorithm is proposed to determine the topology of an implicit real algebraic surface in R. The algorithm consists of four steps: surface projection, projection curve topology determination, surface patch composition, and combination of surface patches. The algorithm gives an intrinsic representation for the topology of the surface. Some examples are used to show that the algorithm is effective.
منابع مشابه
Determining the Topology of Real Algebraic Surfaces
An algorithm is proposed to determine the topology of an implicit real algebraic surface in R. The algorithm consists of three steps: surface projection, projection curve topology determination and surface patches composition. The algorithm provides a curvilinear wireframe of the surface and the surface patches of the surface determined by the curvilinear wireframe, which have the same topology...
متن کاملEffective Methods to Compute the Topology of Real Algebraic Surfaces with Isolated Singularities
Given a real algebraic surface S in RP3, we propose a constructive procedure to determine the topology of S and to compute non-trivial topological invariants for the pair (RP3, S) under the hypothesis that the real singularities of S are isolated. In particular, starting from an implicit equation of the surface, we compute the number of connected components of S, their Euler characteristics and...
متن کاملCategorically-algebraic topology and its applications
This paper introduces a new approach to topology, based on category theory and universal algebra, and called categorically-algebraic (catalg) topology. It incorporates the most important settings of lattice-valued topology, including poslat topology of S.~E.~Rodabaugh, $(L,M)$-fuzzy topology of T.~Kubiak and A.~v{S}ostak, and $M$-fuzzy topology on $L$-fuzzy sets of C.~Guido. Moreover, its respe...
متن کاملCalcul effectif de la topologie de courbes et surfaces algébriques réelles. (On the Computation of The Topology of Real Algebraic Curves and Surfaces)
In this thesis, we got interested into the Effective Computation of the Topology of Real Algebraic Curves and Surfaces. One can distinguish three main new algorithms in the field of shape representation. Our first algorithm is a certified symbolic-numerical based on sub-resultants properties and computes the topology of a plane algebraic curve with the best known complexity. The second algorith...
متن کاملPointfree topology version of image of real-valued continuous functions
Let $ { mathcal{R}} L$ be the ring of real-valued continuous functions on a frame $L$ as the pointfree version of $C(X)$, the ring of all real-valued continuous functions on a topological space $X$. Since $C_c(X)$ is the largest subring of $C(X)$ whose elements have countable image, this motivates us to present the pointfree version of $C_c(X).$The main aim of this paper is to present t...
متن کامل